Comprehensive Platform and Component Modeling of Heterogeneous Interconnected Systems

by Jochen Zim­mer­mann, Oliver Bring­mann, Joachim Ger­lach, Flo­rian Schae­fer, and Ul­rich Nageldinger
In 2008 Forum on Spec­i­fi­ca­tion, Ver­i­fi­ca­tion and De­sign Lan­guages, pages 227–232. IEEE, 2008.